Dialgebraic Specification and Modeling
نویسنده
چکیده
ion and restriction Let SP ′ = (Σ′, AX ′) be a swinging type with base type SP = (Σ, AX) and primitive subtype SP0 = (Σ0, AX0), σ be the relation transformer of SP ′ and A be an SP0model. Suppose that SP ′ satisfies (7). Let Ini be initial in ModEU(A, SP ). If σ is continuous, then lfp(σ)/≡ is initial in ModEU(A, SP ′). Suppose that SP ′ satisfies (8). Let Ini be initial in ModEU(A, SP ). If σ is cocontinuous, then gfp(σ)/≡ is final in RModEU(A, SP ′). Suppose that SP ′ satisfies (9). Let Fin be final in ModEU(A, SP ). If σ is continuous, then all is final in ModEU(A, SP ′). Suppose that SP ′ satisfies (10). Let Fin be final in ModEU(A, SP ). If σ is cocontinuous, then all is initial in OModEU(A, SP ′).
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملA New Nonlinear Specification of Structural Breaks for Money Demand in Iran
In a structural time series regression model, binary variables have been used to quantify qualitative or categorical quantitative events such as politic and economic structural breaks, regions, age groups and etc. The use of the binary dummy variables is not reasonable because the effect of an event decreases (increases) gradually over time not at once. The simple and basic idea in this paper i...
متن کاملModeling of Jitter Characteristics for the Second Order Bang-Bang CDR
Bang-Bang clock and data recovery (BBCDR) circuits are hard nonlinear systems due to the nonlinearity introduced by the binary phase detector (BPD). The specification of the CDR frequency response is determined by jitter tolerance and jitter transfer. In this paper, jitter transfer and jitter tolerance of the second-order BBCDR are characterized by formulating the time domain waveforms. As a re...
متن کاملThe Effect of Lateral Loading Parameters on Monopile Behavior Based on Physical Modeling
Monopiles are the most common type of foundation for offshore wind turbines (OWT). Monopiles have been used in more than 80% of the offshore wind turbines. A monopile will be affected by millions of lateral load cycles during the operating period, which will cause its rotation and lateral deformation. The rotation and the deformation are dependent on the soil properties, monopile specification,...
متن کاملCorrugated Box Production Process Optimization Using Dimensional Analysis and Response Surface Methodology
Response surface methodology (RSM) is a statistical method useful in the modeling and analysis of problems in which the response variable receives the influence of several independent variables, in order to determine which are the conditions under which should operate these variables to optimize a corrugated box production process. The purpose of this research is to create response surface mode...
متن کامل